-
1 axiom of complete induction
1) Математика: аксиома полной индукции2) Макаров: аксиома математической индукцииУниверсальный англо-русский словарь > axiom of complete induction
-
2 induction
1) призыв
2) индуктирование
3) индукционный
4) индукционный электротермический
5) индукция
6) наведение
7) емкостный
8) ввод
9) <engin.> асинхронный
– back induction
– complete induction
– definition by induction
– descending induction
– electrization by induction
– electromagnetic induction
– emf of mutual induction
– homopolar induction
– induction ammeter
– induction balance
– induction brazing
– induction coil
– induction drag
– induction effect
– induction field
– induction generator
– induction hardening
– induction heater
– induction heating
– induction inclinometer
– induction manifold
– induction meter
– induction motor
– induction pump
– induction smelting
– induction step
– induction string
– induction voltmeter
– induction zone
– informal induction
– magnetic induction
– mathematical induction
– motional induction
– mutual induction
– nuclear induction
– proceed by induction
– prove by induction
– residual induction
– saturation induction
– transfinite induction
axiom of complete induction — аксиома математической индукции
cored induction furnace — канальная индукционная электропечь
crucible induction furnace — тигельная индукционная электропечь
remote-indicating induction compass — компас индукционный дистанционный
-
3 axiom
1) аксиома
2) постулат
– axiom of accessibility
– axiom of choice
– axiom of choise
– axiom of power
– completeness axiom
– countability axiom
– denumberability axiom
– exchange axiom
– parallel axiom
– reducibility axiom
– retention axiom
– separability axiom
– take as an axiom
– triangle axiom
axiom of complete induction — аксиома математической индукции
-
4 complete
1) завершать
2) выполнять
3) достраивать
4) завершить
5) заканчивать
6) комплектный
7) укомплектовывать
8) полный
9) завершенный
10) законченный
11) комплектировать
12) комплектовать
13) наследственный
14) отработать
15) пополненный
16) совершенный
17) тотальный
18) необратимый
– complete an operation
– complete analysis
– complete applicability
– complete circuit
– complete closure
– complete code
– complete combustion
– complete compilation
– complete continuity
– complete control
– complete decarburization
– complete failure
– complete file
– complete fusion
– complete graph
– complete induction
– complete inflammation
– complete integral
– complete integration
– complete inversion
– complete license
– complete modulation
– complete mold
– complete normality
– complete operation
– complete ordering
– complete polygon
– complete quadrangle
– complete radiator
– complete revolutions
– complete series
– complete set
– complete similitude
– complete the square
– complete unit
– complete weld
– complete with
– functionally complete
– holomorphically complete
axiom of complete induction — аксиома математической индукции
complete regenerative cycle — предельный регенеративный цикл
equationally complete extension — эквационально полное расширение
-
5 аксиома математической индукции
Русско-английский политехнический словарь > аксиома математической индукции
-
6 аксиома
ж. axiom, postulate, principle -
7 аксиома
1) axiom
2) postulate
– аксиома выбора
– аксиома замены
– аксиома мощности
– аксиома о параллельных
– аксиома отделимости
– аксиома полноты
– аксиома сводимости
– аксиома сохранения
– аксиома счетности
– аксиома треугольника
аксиома математической индукции — axiom of complete induction
аксиома не требует доказательства — axiom needs no proof
-
8 аксиома математической индукции
Универсальный русско-английский словарь > аксиома математической индукции
-
9 аксиома полной индукции
Mathematics: axiom of complete inductionУниверсальный русско-английский словарь > аксиома полной индукции
-
10 аксиома
* * *аксио́ма ж.
axiom, postulate, principleаксио́ма не тре́бует доказа́тельства — an axiom needs no proofпринима́ть аксио́му без доказа́тельства — accept an axiom as primitive and therefore not subject to proofпринима́ть в ка́честве аксио́мы — take smth. as an axiom, take as an axiom that …аксио́ма Архиме́да — axiom of Archimedes, Archimedean axiom, Archimedean assumptionаксио́ма вы́бора — axiom of choiceаксио́ма математи́ческой инду́кции — axiom of complete [perfect] inductionаксио́ма мо́щности — axiom of powerаксио́ма о паралле́льных — parallel axiomаксио́ма отдели́мости — axiom of separabilityаксио́ма полноты́ — completeness axiom, axiom of completenessаксио́ма сохране́ния — retention axiomаксио́ма счё́тности — denumberability axiomаксио́ма треуго́льника — triangle axiom -
11 proof
1) доказательство; обоснование; подтверждение2) полигр. корректура, пробный оттиск4) проверка; испытание; проба || проверять; испытывать; опробовать5) безопасный; защищённый6) обеспечивать непроницаемость; герметизировать•proof against — устойчивый к воздействию (какого-л. фактора)
proof by contradiction — мат. доказательство от противного
proof by induction — мат. доказательство по индукции
proof by matrices — мат. доказательство с помощью матриц
proof in outline — набросок [схема] доказательства;
this completes the proof — это завершает доказательство; на этом доказательство заканчивается
- strong proofto give a proof — матем. дать доказательство
См. также в других словарях:
Axiom of choice — This article is about the mathematical concept. For the band named after it, see Axiom of Choice (band). In mathematics, the axiom of choice, or AC, is an axiom of set theory stating that for every family of nonempty sets there exists a family of … Wikipedia
Axiom — This article is about logical propositions. For other uses, see Axiom (disambiguation). In traditional logic, an axiom or postulate is a proposition that is not proven or demonstrated but considered either to be self evident or to define and… … Wikipedia
Complete theory — In mathematical logic, a theory is complete if it is a maximal consistent set of sentences, i.e., if it is consistent, and none of its proper extensions is consistent. For theories in logics which contain classical propositional logic, this is… … Wikipedia
Mathematical induction — can be informally illustrated by reference to the sequential effect of falling dominoes. Mathematical induction is a method of mathematical proof typically used to establish that a given statement is true of all natural numbers (positive… … Wikipedia
List of first-order theories — In mathematical logic, a first order theory is given by a set of axioms in somelanguage. This entry lists some of the more common examples used in model theory and some of their properties. PreliminariesFor every natural mathematical structure… … Wikipedia
List of algebraic structures — In universal algebra, a branch of pure mathematics, an algebraic structure is a variety or quasivariety. Abstract algebra is primarily the study of algebraic structures and their properties. Some axiomatic formal systems that are neither… … Wikipedia
Outline of algebraic structures — In universal algebra, a branch of pure mathematics, an algebraic structure is a variety or quasivariety. Abstract algebra is primarily the study of algebraic structures and their properties. Some axiomatic formal systems that are neither… … Wikipedia
Preintuitionism — In some circles of mathematical philosophy the Pre Intuitionists are considered to be a small but influential group who informally shared similar philosophies on the nature of mathematics. The term itself was used by L. E. J. Brouwer, who in his… … Wikipedia
Well-founded relation — In mathematics, a binary relation, R, is well founded (or wellfounded) on a class X if and only if every non empty subset of X has a minimal element with respect to R; that is, for every non empty subset S of X, there is an element m of S such… … Wikipedia
Mill, John Stuart: Logic and metaphysics — J.S.Mill Logic and metaphysics John Skorupski ENLIGHTENMENT AND ROMANTICISM IN MILL’S PHILOSOPHY Mill’s importance as one of the major figures of nineteenth century politics and culture, and the current interest in him as a moral and political… … History of philosophy
Scepticism — • Etymology of the word based on a Greek term meaning speculation, doubt Catholic Encyclopedia. Kevin Knight. 2006. Scepticism Scepticism … Catholic encyclopedia